SELECT intDiv(18446744073709551615, 0.9998999834060669); -- { serverError 153 }
SELECT intDiv(18446744073709551615, 1.);  -- { serverError 153 }
